Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
231	Publication Culture in Computer Science and Software Engineering Richard P. Gabriel IBM Research / I have been involved in the publication of computer science and software engineering pa Add to Reading List Source URL: www.dreamsongs.org Language: English - Date: 2012-08-11 19:28:15 Software engineering OOPSLA Onward! Programming Language Design and Implementation Peer review SIGPLAN David Ungar Pattern Languages of Programs Programming language theory Association for Computing Machinery Computer science Computing
232	cXprop Postpass optimization for TinyOS applications Nathan Cooprider John Regehr Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-04-25 15:41:36 Procedural programming languages Compiler construction Compiler optimizations Programming language implementation TinyOS Patrick Cousot NesC Abstract interpretation Static single assignment form Computing Software engineering Programming language theory
233	Main findings The reform process separated the regulatory and sector coordination functions from the forest management and implementation functions. FSSD was designed to be a “lean” regulatory institution while DFS Add to Reading List Source URL: www.norway.go.ug Language: English - Date: 2011-01-25 03:37:40 Political science Social philosophy Business Decentralization Organizational theory Governance
234	Chapter 1. The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Programming language theory Parser generators Programming language implementation Syntax Definition Formalism ASF+SDF Meta Environment SDF2 Attribute grammar Parsing Formal languages Software engineering Computing
235	Annual Implementation Plan 2013 Echuca Specialist School 5299 Based on Strategic Plan developed forEndorsement by Add to Reading List Source URL: www.echucass.vic.edu.au Language: English - Date: 2014-10-14 23:58:33 Popular education Student engagement Youth Victorian Essential Learning Standards Teacher Achievement Improvement Monitor QuickSmart Education Educational psychology Education theory
236	A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Programming language implementation PreScheme Scheme programming language Logic in computer science Programming language semantics Denotational semantics Compiler Scheme Programming language Software engineering Computing Programming language theory
237	Annual Implementation Plan 2014 Redesdale Mia Mia Primary School 2175 Based on Strategic Plan developed forEndorsement by Add to Reading List Source URL: www.redesmiaps.vic.edu.au Language: English - Date: 2014-10-15 00:17:17 Disability Education theory Student engagement Special education Teacher Literacy Education Youth Educational psychology
238	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
239	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics
240	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming

UPDATE